From 20017d51b136e01a8ec386fbdb6109c6a56af22c Mon Sep 17 00:00:00 2001 From: "adsharma@los-vmm.sc.intel.com" Date: Tue, 9 Aug 2005 11:18:23 -0800 Subject: [PATCH] VMX domains can have iopl!=0. Signed-off-by: Arun Sharma --- xen/arch/x86/dom0_ops.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/x86/dom0_ops.c b/xen/arch/x86/dom0_ops.c index b933cbdfaa..8eda73be8f 100644 --- a/xen/arch/x86/dom0_ops.c +++ b/xen/arch/x86/dom0_ops.c @@ -405,7 +405,7 @@ void arch_getdomaininfo_ctxt( memcpy(c, &v->arch.guest_context, sizeof(*c)); /* IOPL privileges are virtualised -- merge back into returned eflags. */ - BUG_ON((c->user_regs.eflags & EF_IOPL) != 0); + BUG_ON(((c->user_regs.eflags & EF_IOPL) != 0) && !(VMX_DOMAIN(v))); c->user_regs.eflags |= v->arch.iopl << 12; if ( VMX_DOMAIN(v) ) -- 2.30.2